derived formula

导出公式